COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	exampl[e82,jmc]		examples for circumscription including Reiter home town
C00004 ENDMK
C⊗;
exampl[e82,jmc]		examples for circumscription including Reiter home town

1. A person's home town may be presumed to be that of his spouse but
also may be presumed to be that of his employer.  This should give
rise to a disjunctive circumscription.  This circumscription should
work out so that if only one is known, it dominates but if both are
known and different, we get two minimal modesls.

∀x.¬q1(x) ⊃ hometown(x) = hometown(spouse(x))

∀x.¬q2(x) ⊃ hometown(x) = hometown(employer(x))

Two cases:

spouse(George) = Mary
hometown(Mary) = Quebec

spouse(George) = Mary
hometown(Mary) = Quebec
employer(George) = IPS
hometown(IPS) = Toronto

What are the circumscriptions?